FDL - Step of Proof: assert_of_lt

Step of Proof: assert_of_lt_int

9,38

Inference at * 1 1
Iof proof for Lemma assert of lt int:

1. x :

2. y :

x <z y
4. x < y

x < y

by (Auto_aux (first_nat 1:n) ((first_nat 1:n),(first_nat 4:n)) (first_tok :t) inil_term)